[XEN] Re-jig VCPU initialisation -- VMX init requires generic VCPU
authorkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Mon, 6 Nov 2006 11:03:04 +0000 (11:03 +0000)
committerkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Mon, 6 Nov 2006 11:03:04 +0000 (11:03 +0000)
commit1ad5dad74cdec8818fa47c6b6c8652d532fb87c8
tree391e9a242988b98c0d4357034ec57081079ff13f
parent5c445c2f6dbd4e48712a5b6298c56df45f1ff158
[XEN] Re-jig VCPU initialisation -- VMX init requires generic VCPU
fields to already be allocated. This has led to a general cleanup of
domain and vcpu initialisation and destruction.
Signed-off-by: Keir Fraser <keir@xensource.com>
12 files changed:
xen/arch/ia64/xen/domain.c
xen/arch/powerpc/domain.c
xen/arch/x86/domain.c
xen/arch/x86/hvm/vmx/vmcs.c
xen/arch/x86/hvm/vmx/vmx.c
xen/common/domain.c
xen/common/sched_credit.c
xen/common/sched_sedf.c
xen/common/schedule.c
xen/include/xen/domain.h
xen/include/xen/sched-if.h
xen/include/xen/sched.h